Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
621	PIK Report No. 103 STRUCTURING DISTRIBUTED RELATION-BASED COMPUTATIONS WITH SCDRC Add to Reading List Source URL: www.pik-potsdam.de Language: English - Date: 2013-09-12 17:02:47 Parallel computing Classes of computers Algorithm Mathematical logic Theoretical computer science Distributed computing Computer cluster Super-recursive algorithm Computing Concurrent computing Computer programming
622	TM Traveling Circuits Lesson 3 MY ROBOTIC FRIENDS Add to Reading List Source URL: code.org Language: English - Date: 2014-12-02 16:12:57 Mathematical logic Stack Robot Subroutine Algorithm Computer programming Computing Software engineering
623	PDF Document Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2009-05-25 01:07:54 Prolog Append Logic programming Icon Unification Smalltalk Software engineering Computer programming Computing
624	Curriculum Vitae John M. Zelle, Ph.D. Address Department of Math, Computer Science, and Physics Wartburg College Add to Reading List Source URL: mcsp.wartburg.edu Language: English - Date: 2006-01-15 15:38:37 Department of Computer Science Education Cognition Logic programming Machine learning Computer science
625	Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:02 Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic
626	Classifying and Solving Horn Clauses for Verification Philipp R¨ummer1 , Hossein Hojjat2 , and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-07-10 09:12:36 Logic in computer science Automated theorem proving Logic programming Interpolation Video signal Craig interpolation Clause Resolution Horn clause Logic Mathematics Mathematical logic
627	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
628	Indexing over Predicates Indexing over Terms Beyond Horn Clauses Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Searching Logic programming Information retrieval Search engine indexing Predicate Information science Software engineering Prolog
629	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
630	Denotational Semantics for a Probability Timed Shared-Variable Language Huibiao Zhu1 Jeff Sanders2 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-29 05:02:53 Mathematics Mathematical logic Models of computation Denotational semantics Operational semantics Semantics Algebraic semantics Model theory Structure Programming language semantics Theoretical computer science Logic in computer science

UPDATE